
#ifndef __KERNELASM_H__
#define __KERNELASM_H__

extern void DisableInterruptsFromThumb(void) __attribute__ ((naked));
extern void EnableInterruptsFromThumb(void) __attribute__ ((naked));
extern void RESTORE_CONTEXT_FIRST(void) __attribute__ ((naked));
extern void RESTORE_CONTEXT(void) __attribute__ ((naked));
extern void TICK_HANDLER(void) __attribute__ ((naked));
extern void YIELD(void) __attribute__ ((naked));

#endif /* __KERNELASM_H__ */
